propositional network